1. Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings
Author: Dominique Borrione, Wolfgang Paul )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
3725
2. sبAdvances in Design Methods from Modeling Languages for Embedded Systems and SoC
Author: / Dominique Borrione
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
